Dict(
	[16, 13, 10, 1, 16, 1, 1, 10, 1, 1] => QQFieldElem[16//3, 0, 0, 0])